$\forall$$A$, $B$, $C$:Type. $A$$\times$$B$ $\cap$ $A$$\times$$C$ $\subseteq$ ($A$$\times$$B$ $\cap$ $C$)